\begin{tabbing}
$\forall$$x_{1}$:Realizer.
\\[0ex]Reffect?($x_{1}$)
\\[0ex]$\Rightarrow$ \=Reffect{-}f($x_{1}$)\+
\\[0ex]$\in$ State(Reffect{-}ds($x_{1}$))$\rightarrow$Reffect{-}T($x_{1}$)$\rightarrow$DeclaredType(Reffect{-}ds($x_{1}$);Reffect{-}x($x_{1}$))
\-
\end{tabbing}